Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
231	Direct Construction of Compact Context-Dependency Transducers From Data David Rybach∗ Michael Riley Human Language Technology Add to Reading List Source URL: wiki.inf.ed.ac.uk Language: English - Date: 2010-11-05 06:38:47 Finite state transducer Finite-state machine Speech recognition Computer science Mathematical optimization Applied mathematics Computing Automata theory Models of computation Computational linguistics
232	MoChArt 2005 Preliminary Version Incremental Verification for On-the-Fly Controller Synthesis David J. Musliner and Michael J. S. Pelican 1,2 Honeywell Laboratories Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Computer science Applied mathematics Formal verification Model checking Deterministic finite automaton Nondeterministic finite automaton State transition system Models of computation Automata theory Theoretical computer science
233	Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-09-27 14:57:55 Logic Theoretical computer science Nested word Muller automaton Model theory Tree Finite-state machine Structure Alphabet Automata theory Formal languages Mathematics
234	NIH Public Access Author Manuscript Curr Dir Psychol Sci. Author manuscript; available in PMC 2008 December 10. NIH-PA Author Manuscript Add to Reading List Source URL: www.ncbi.nlm.nih.gov Language: English Philosophy of science Causality Automata theory Cognitive science Behaviorism Finite-state machine Four causes Classical conditioning A New Kind of Science Science Philosophy Ethology
235	Fast and Precise Sanitizer Analysis with B EK Pieter Hooimeijer University of Virginia Benjamin Livshits Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-06-09 19:12:49 Models of computation Computer science Finite state transducer String Regular language Finite-state machine FO Deterministic finite automaton Automata theory Theoretical computer science Formal languages
236	PDF Document Add to Reading List Source URL: darwin.bth.rwth-aachen.de Language: English - Date: 2012-01-17 04:43:03 Configuration graph Determinacy Combinatorial game theory Automata theory Models of computation Finite model theory Game theory Parity game
237	Symbolic Finite State Transducers: Algorithms and Applications Margus Veanes Pieter Hooimeijer ∗ Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-11-09 16:49:04 Symbol Regular language Automata theory Formal languages Finite state transducer
238	Subtree and Tree Pattern Pushdown Automata for Trees In Prefix Notation Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2009-02-16 12:13:50 A Finite-state machine Automata theory Models of computation Pushdown automaton
239	Review1 of Algorithmic Bioprocesses by Condon, Harel, Kok, Salomaa, Winfree, eds. Springer, pages, hardcover Review by Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-08-01 14:42:43 Theory of computation Computer science Natural computing Cellular automaton P system Automata theory Membrane computing Turing machine Finite-state machine Models of computation Theoretical computer science Applied mathematics
240	Phase Transitions within Grammatical Inference Nicolas Pernot, Antoine Cornu´ejols & Mich`ele Sebag Laboratoire de Recherche en Informatique, CNRS UMR 8623 Bˆat.490, Universit´e de Paris-Sud, OrsayOrsay Cedex ( Add to Reading List Source URL: www.ijcai.org Language: English - Date: 2005-07-11 15:50:42 Applied mathematics Computer science Deterministic finite automaton Finite-state machine Algorithm Grammar induction Machine learning Sequence Regular expression Automata theory Models of computation Theoretical computer science

UPDATE